Epistemic would - a marker of modal remoteness

Temporalizing Modal Epistemic Logic

Timed Modal Epistemic Logic, tMEL, is a newly introduced logical framework for reasoning about the modeled agent's knowledge. The framework, derived from the study of Justi cation Logic, is adapted from the traditional Modal Epistemic Logic, MEL, to serve as a logically non-omniscient epistemic logic and dealing with problems where the the temporal constraint is an unavoidable factor. In this p...

Timed Modal Epistemic Logic

A Modal Logic of Epistemic Games

We propose some variants of a multi-modal logic of joint action, preference and knowledge that support reasoning about epistemic games in strategic form. The first part of the paper deals with games with complete information. We first provide syntactic proofs of some theorems that are well-known in the area of interactive epistemology and that specify some sufficient epistemic conditions of equ...

A New Modal Framework for Epistemic Logic

Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on. The new epistemic modalities introduced in those logics all share, in their semantics, the general schema of ∃x φ , e.g., knowing how to achieve φ roughly means that there exists a way such that you know that it is a way to ensure that φ . Moreover, th...

A modal logic for epistemic tests

We study a modal logic of knowledge and action, focussing on test actions. Such knowledge-gathering actions increase the agents’ knowledge. We propose a semantics, and associate an axiomatics and a rewriting-based proof procedure.